set theoretic proof

集论的证